#include "typecheck.h"

#include <stdio.h>
int typeCHECK(BODY *root, SymbolTable *rootTable) {
	int run1E = run1(root, rootTable);
	fprintf(stderr,"END RUN1\n");
	int run2E = run2(root, rootTable);
	fprintf(stderr,"END RUN2\n");
	if(run2E==0){
		int run3E = run3(root, rootTable);
		return run1E + run2E + run3E;
	}
	return run1E + run2E;
}
